minimal cover of a set of functional dependencies